Introducing Explicit Causality in Object-oriented Hybrid System Modeling

نویسندگان

  • Liu Liu
  • Felix Felgner
  • Georg Frey
چکیده

Along with the rapid development of embedded devices and network technology, the area of Cyber Physical Systems (CPS), has arisen. In terms of modeling and simulation, CPS—like many technical systems—have a hybrid nature, i.e., discrete-event behavior and continuous-time dynamics have to be integrated with each other. Basically, this integration is supported by modern object-oriented modeling paradigms such as Modelica. The equation-based concept resolves the causality between interconnected components, which qualifies this modeling scheme for complex multi-domain systems. However, in hybrid systems, explicit causality is required to correctly manage iterative events. This paper highlights these issues, including algorithmic loops and instantaneous multiple updates, which essentially arise from incompatibilities between the object-oriented concept and specific discrete-event phenomena. We discuss several possible solutions and introduce the concept of re-allocating the objects’ behavioral intelligence.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modelsaz: An Object-Oriented Computer-Aided Modeling Environment

Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...

متن کامل

Introducing Hybrid: A Unified Object-Oriented System

Hybrid is a data abstraction language that attempts to unify a number of object-oriented concepts into a single, coherent system. In this paper we give an overview of our object model, describe a number of the language constructs, and briefly discuss the issue of object management.

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

An Object-Oriented Approach To Generate Java Code From UML Statecharts

The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic behavior of a system. This paper describes an object-oriented (OO) approach to generate compact and efficient Java code from UML statechart diagrams. The states are represented as objects and all the behavior associated with a state is contained in one object. This localizes the state-specific behavior and p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012